Linear Process Algebra
نویسنده
چکیده
A linear process is a system of events and states related by an inner product, on which are defined the behaviorally motivated operations of tensor product or orthocurrence, sum or concurrence, sequence, and choice. Linear process algebra or LPA is the theory of this framework. LPA resembles Girard’s linear logic with the differences attributable to its focus on behavior instead of proof. As with MLL the multiplicative part can be construed via the Curry-Howard isomorphism as an enrichment of Boolean algebra. The additives cater for independent concurrency or parallel play. The traditional sequential operations of sequence and choice exploit process-specific state information catering for notions of transition and cancellation.
منابع مشابه
A brief introduction to quaternion matrices and linear algebra and on bounded groups of quaternion matrices
The division algebra of real quaternions, as the only noncommutative normed division real algebra up to isomorphism of normed algebras, is of great importance. In this note, first we present a brief introduction to quaternion matrices and quaternion linear algebra. This, among other things, will help us present the counterpart of a theorem of Herman Auerbach in the setting of quaternions. More ...
متن کاملSome results on Haar wavelets matrix through linear algebra
Can we characterize the wavelets through linear transformation? the answer for this question is certainly YES. In this paper we have characterized the Haar wavelet matrix by their linear transformation and proved some theorems on properties of Haar wavelet matrix such as Trace, eigenvalue and eigenvector and diagonalization of a matrix.
متن کاملCauchy-Rassias Stability of linear Mappings in Banach Modules Associated with a Generalized Jensen Type Mapping
متن کامل
Spectrum Preserving Linear Maps Between Banach Algebras
In this paper we show that if A is a unital Banach algebra and B is a purely innite C*-algebra such that has a non-zero commutative maximal ideal and $phi:A rightarrow B$ is a unital surjective spectrum preserving linear map. Then $phi$ is a Jordan homomorphism.
متن کاملExistence and uniqueness of solution of Schrodinger equation in extended Colombeau algebra
In this paper, we establish the existence and uniqueness result of the linear Schrodinger equation with Marchaud fractional derivative in Colombeau generalized algebra. The purpose of introducing Marchaud fractional derivative is regularizing it in Colombeau sense.
متن کاملA computational wavelet method for numerical solution of stochastic Volterra-Fredholm integral equations
A Legendre wavelet method is presented for numerical solutions of stochastic Volterra-Fredholm integral equations. The main characteristic of the proposed method is that it reduces stochastic Volterra-Fredholm integral equations into a linear system of equations. Convergence and error analysis of the Legendre wavelets basis are investigated. The efficiency and accuracy of the proposed method wa...
متن کامل